#undef  CONFIG_HOTPLUG_PCI
